Guy L, "It’s Time for a New Old Language"
プログラミング言語
またはそれに類推する形式化(
Gerhard Gentzen
の
シークエント計算
など)の歴史を振り返るスライド
https://groups.csail.mit.edu/mac/users/gjs/6.945/readings/Steele-MIT-April-2017.pdf
40,41ページに
substituionの表記揺れ
が載っている
#歴史
#プログラミング言語